4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·18h·
Discuss: Hacker News
🧲RISC-V Archaeology
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·1d
🔲Cellular Automata
Pong in Discrete Components
hackaday.com·18h
🎮GameBoy Architecture
Proving that every program halts
ntietz.com·2d
👑Isabelle
Compulab MCM-iMX95 – A solder-down NXP i.MX 95 SoM
cnx-software.com·10h
🔌Single Board PC
Considering making a home server, talk me in or out of it, and help me decide on parts...
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
The complexity trap: why cybersecurity must be simplified
techradar.com·5h
🛡Cybersecurity
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool
github.com·10h·
Discuss: Hacker News
⚡Circuit Archaeology
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·6h·
Discuss: DEV
📐Error Bounds
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
How to (Almost) solve cybersecurity once and for all
adaptive.live·17h·
Discuss: Hacker News
🔐Systems Hardening
Brains in Silicon
defragzone.substack.com·1d·
Discuss: Substack
🕹️Hardware Emulation
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·6h
⬆️Lambda Lifting
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·17h·
Discuss: DEV
🔗Concatenative Programming